A bigraphical multi-scale modeling methodology for system of systems
نویسندگان
چکیده
منابع مشابه
A bigraphical multi-scale modeling methodology for system of systems
In this paper, we present a multi-scale modeling methodology for software System of Systems (SoS) using the formal technique of Bigraphical Reactive System. This methodology provides a correct by design approach ensuring the correctness of the SoS architectures. A first scale is defined by the designer. Then, it is refined by successively adding lower scale details. The transition between scale...
متن کاملBigraphical Reactive Systems Based Approaches for Modeling Context-Aware Systems
In the past few years, context-aware computing has become one of the most promising topics of ubiquitous (pervasive) computing where computers are integrated and vanish in the background of users everyday activities. A context-aware system is a ubiquitous system, which is able to adapt its behavior automatically according to the gathered context information. However, due to the increasing compl...
متن کاملA methodology for modeling usage behavior of multi-functional systems
Today we face a trend toward more and more complex systems. The complexity does not only arise because of distributed or heterogeneous hardware solutions. So called multi-functional systems which are characterized by a high degree of dependencies between functional units are also a major challenge. Often, the complex interactions between pieces of functionality (often referred to as feature int...
متن کاملA Modeling Methodology for Conflict Control in Multi-Agent Systems
Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that explicitly support key system properties such as resource constraints and control of conflicts. Although there have been some system modeling techniques to support MASs design and automatic analysis, most state-of-the-ar...
متن کاملMulti-scale methodology: a key to deciphering systems biology.
Presently, it is widely accepted complex systems couldn't be comprehended by studying parts in isolation without examining integrative and emergent properties, and system-level understanding thus has become the focus in biological science. However, it should also be noted that common systematic analysis was restricted to large-scale analysis at a certain level, while the facts that the nature o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Electrical Engineering
سال: 2017
ISSN: 0045-7906
DOI: 10.1016/j.compeleceng.2017.01.016